Koha online

1.
Computability and logic

by Boolos, George S | Burgess, John P | Jeffrey, Richard C.

Edition: 4th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2002Availability: Items available for loan: [Call number: 511.3 BOO] (1).
Place hold
2.
Computability and logic

by Boolos, George S | Burgess, John P | Jeffrey, Richard C.

Edition: 5th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Cambridge University Press, 2007Availability: Items available for loan: [Call number: 511.352 BOO] (1).
Place hold
3.
Three views of logic : mathematics, philosophy, and computer science

by Loveland, Donald W | Hodel, Richard E | Sterrett, S. G.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Princeton: Princeton University Press, 2014Availability: Items available for loan: [Call number: 511.3 LOV] (1).
Place hold
4.
Discrete structures, logic, and computability

by Hein, James L.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Sudbury: Jones & Bartlett, 2010Availability: Items available for loan: [Call number: 004.0151 HEI] (1).
Place hold
5.
Computable models

by Turner, Raymond.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2009Availability: Items available for loan: [Call number: 511.352015118 TUR] (1).
Place hold
6.
Symbolic-numeric computation

by Wang, Dongming | Zhi, Lihong.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Birkhauser, 2007Availability: Items available for loan: [Call number: 511.352 WAN] (1).
Place hold

Powered by Koha